Memory safety - PDFSEARCH.IO - Document Search Engine

Memory safety
Results: 222

#	Item
51	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-06 09:41:50 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
52	IP 144 Description: IP 144 Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-09 06:23:21 European Aviation Safety Agency Memory consolidation Aircraft maintenance checks IP address Europe Aviation Transport Time management
53	NovemberMonday, Nov. 29, 2010 In memory of Ben Essex—Long-time Add to Reading List Source URL: wolfcreekplant.com Language: English - Date: 2014-03-18 15:43:40 Dynamics Institute of Nuclear Power Operations Nuclear power plant Q Pump Boiler feedwater pump Physics Fluid dynamics Fluid mechanics Nuclear safety
54	doi:j.ijmedinf Add to Reading List Source URL: www.itee.uq.edu.au Language: English - Date: 2015-03-13 09:34:59 Patient safety Prospective memory Cognitive science Medical ethics Medical terms Memory Nursing Working memory Medical error Medicine Health Mind
55	Type-safe Off-heap Memory for Scala Denys Shabalin, LAMP/EPFL Off-heap memory: memory which is allocated and managed outside of garbage collected heap. Add to Reading List Source URL: downloads.typesafe.com Language: English - Date: 2015-03-25 17:13:40 C programming language C++ Sizeof Struct Java Native Interface C dynamic memory allocation C++ classes C Type safety Computing Software engineering Computer programming
56	Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-01-14 18:11:07 Data types C++ Primitive types Type theory C programming language Pointer C Type safety Reference Software engineering Computing Computer programming
57	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
58	Safe Manual Memory Management David Gay Rob Ennals Eric Brewer Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-09-04 14:28:00 Memory management Data types Software bugs Primitive types C++ Garbage collection Dangling pointer Pointer Memory safety Computing Software engineering Computer programming
59	Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-09-04 14:24:04 Embedded operating systems Type theory Data types TinyOS Wireless sensor network NesC Procedural programming languages Type safety C Computing Software engineering Programming language theory
60	Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53